cs(X) :- color(
[[ca,az,nev,oreg],[az,ca,nev,ut,nm],[nev,ca,az,ut,ida,oreg],
[oreg,ca,nev,ida,wash],[wash,oreg,ida],[ida,wash,oreg,nev,ut,wyo,mont],
[ut,ida,nev,az,colo,wyo],[mont,ida,wyo,sdak,ndak],
[wyo,mont,ida,ut,colo,neb,sdak],[colo,wyo,ut,nm,okla,kans,neb],
[nm,colo,az,tex,okla],[tex,nm,la,ark,okla],[okla,tex,ark,mo,kans,colo,nm],
[kans,okla,mo,neb,colo],[neb,kans,mo,io,sdak,wyo,colo],
[sdak,neb,io,minn,ndak,mont,wyo],[ndak,sdak,minn,mont],
[minn,ndak,sdak,io,wisc],[io,minn,sdak,neb,mo,ill,wisc],
[mo,io,neb,kans,okla,ark,tenn,kent,ill],[ark,mo,okla,tex,la,miss,tenn],
[la,ark,tex,miss],[miss,ark,la,ala,tenn],[ala,miss,fla,ga,tenn],
[fla,ala,ga],[ga,fla,scar,ncar,tenn,ala],[scar,ga,ncar],[ncar,scar,va,tenn],
[tenn,ncar,va,kent,mo,ark,miss,ala,ga],[va,tenn,ncar,md,dc,wva,kent],
[dc,va,md],[kent,va,wva,ohio,ind,ill,mo,tenn],[ill,kent,ind,wisc,io,mo],
[wisc,ill,mich,minn,io],[mich,wisc,ind,ohio],[ind,mich,ill,kent,ohio],
[ohio,ind,kent,wva,penn,mich],[wva,ohio,kent,va,md,penn],
[md,wva,va,dc,del,penn],[del,md,nj,penn],[penn,del,nj,ny,ohio,wva,md],
[nj,penn,del,ny],[ny,nj,conn,mass,vt,penn],[conn,ny,ri,mass],
[ri,conn,mass],[mass,ri,nh,vt,ny,conn],[nh,me,vt,mass],[me,nh],
[vt,nh,ny,mass]],X).

cw(X) :- color(
[[ca,az,nev,oreg],[az,ca,nev,ut,nm],[nev,ca,az,ut,ida,oreg],
[oreg,ca,nev,ida,wash],[wash,oreg,ida],[ida,wash,oreg,nev,ut,wyo,mont],
[ut,ida,nev,az,colo,wyo],[mont,ida,wyo,sdak,ndak],
[wyo,mont,ida,ut,colo,neb,sdak],[colo,wyo,ut,nm,okla,kans,neb],
[nm,colo,az,tex,okla],[tex,nm,ark,okla],[okla,tex,ark,mo,kans,colo,nm],
[kans,okla,mo,neb,colo],[neb,kans,mo,io,sdak,wyo,colo],
[sdak,neb,io,minn,ndak,mont,wyo],[ndak,sdak,minn,mont],
[minn,ndak,sdak,io],[io,minn,sdak,neb,mo],
[mo,io,neb,kans,okla,ark],[ark,mo,okla,tex]],X).